# include <stdio.h>

int main(int argc, const char *argv[]) {
    int a = 0;
    scanf("%d", &a);
    switch(a) {
        case 1:
            printf("1111111111111\n");
            break;
        case 2:
            printf("2222222222222\n");
            break;
        case 3:
            printf("3333333333333\n");
            break;
        default:
            printf("123456789\n");
            break;

    }
    return 0;
}
